StaleMetaLiteral.agda:14,7-28
Can't unquote stale metavariable Imports.StaleMetaLiteral._14
when checking that the expression unquote (unquoteMeta staleMeta)
has type _A_4
